COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Modalities in Agent-Oriented Programming - Thomas, Shoham, Schwartz
C00005 ENDMK
C⊗;
Modalities in Agent-Oriented Programming - Thomas, Shoham, Schwartz
Real time search for dynamic planning - Korf
Reasoning about action in standard first order logic - Elkan, Reiter
Shoham comments on Elephant
From simple associations to systematic reasoning - Shastri, Ajjanagadde
Geographic Knowhow - Woodfill
Molecular collections, ontology for fluids - Collins, Forbus
Compositional Modeling: Finding the right model - Falkenhaimer, Forbus
Qualitative Spacial Reasoning - Forbus, Nielsen, Faltings
Self-explanatory simulations - Forbus, Falkenhaimer
MicroTheories - Guha
Evid: A system for interactive defeasible reasoning - Causey
Natural language syntax and first order inference - McAllester, Givan
Taxonomic syntax for first order inference - McAllester, Givan
On Warren's method for functional programming in logic - Cheng, van Emden,
	Richards
CACM 1990 Jan, computers and communication
Two roads to one precipice - Shafarevich
Information, Infons and Inference - Barwise, Etchemendy
Logic programs with exceptions - Kowalski, Sadri
notes on emotions - Guha
cs309B assignment - Lenat and Guha

prolog Technology theorem prover - Stickel
ltr to Searle re ai - Beniger
Representation of defaults in Cyc - Guha
Circumscription (for handbook of logic in ai and logic prog.) - Lifschitz
On data communication standarsds - Sisson, Cobb
Turing's test and conscious thought - Michie
Learning in embedded systems - Kaelbling ch 4 and 5
response to Brian Smith - Lenat
Cyc: A midterm report - Guha, Lenat